Buscar
Mostrando ítems 1-10 de 17
Annotated temporal logics Delta*tau
(Springer, 2000-01-01)
In this paper we present a class of paraconsistent temporal system Delta*tau which may constitute, for instance, a framework for paraconsistent temporal reasoning. We establish the completeness of Delta*tau using the Kripke ...
Intelligent real-time traffic signal control based on a paraconsistent logic program EVALPSN
(Springer, 2003-01-01)
In this paper, we introduce an intelligent real-time traffic signal control system based on a paraconsistent logic program called an EVALPSN (Extended Vector Annotated Logic Program with Strong Negation), that can deal ...
Paraconsistent Probabilities: Consistency, Contradictions And Bayes' Theorem
(MDPI AGBasel, 2016)
Paraconsistent Set Theory By Predicating On Consistency
(OXFORD UNIV PRESSOXFORD, 2016)
Paraconsistent Set Theory By Predicating On Consistency
(Oxford Univ PressOxford, 2016)
Semi-stable semantics
(Oxford Univ PressOxfordInglaterra, 2012)
Razão e irracionalidade na representação do conhecimentoReason and irrationality in the representation of knowledge
(Universidade Estadual Paulista, Departamento de Filosofia, 1991)
Calculus infinitesimalis: uma teoria entre a razão e o mito?Calculus infinitesimalis: a theory between reason and myth?
(Programa de Pós-Graduação em Educação para a Ciência, Universidade Estadual Paulista (UNESP), Faculdade de Ciências, campus de Bauru., 2012)
On Negation: Pure Local Rules
(, 2005)